51eb99be91e7cdeec94567995c045537922b8de0,src/main/java/com/sri/ai/grinder/parser/antlr/ExpressionVisitor.java,ExpressionVisitor,visitCountingFormula,#AntlrGrinderParser.CountingFormulaContext#,162
Before Change
// '|' ( indexes+=expr (',' indexes+=expr)* )? ':' body=expr '|' #countingFormula
@Override
public Expression visitCountingFormula(AntlrGrinderParser.CountingFormulaContext ctx) {
Expression result = new DefaultCountingFormula(cartesianProductsToTupleType(expressionsList(ctx.indexes)),
visit(ctx.body));
return result;
}
After Change
// '|' ( indexes+=expr (',' indexes+=expr)* )? ':' body=expr '|' #countingFormula
@Override
public Expression visitCountingFormula(AntlrGrinderParser.CountingFormulaContext ctx) {
Expression result = new DefaultCountingFormula(expressionsList(ctx.indexes), visit(ctx.body));
return result;
}